# Active SVF file ../default.svf
#-----------------------------------------------------------------------------
# This file is automatically generated by Design Compiler
# Filename  : /net/plato.ee.virginia.edu/users/mzs8ca/synopsys/syn_tut/dc/work/default.svf
# Timestamp : Mon Aug 13 10:57:16 2012
# DC Version: F-2011.09-SP2 (built Nov 24, 2011)
#-----------------------------------------------------------------------------

guide


guide_environment \
  { { cwd /net/plato.ee.virginia.edu/users/mzs8ca/synopsys/syn_tut/dc/work } \
    { read_verilog /net/plato.ee.virginia.edu/users/mzs8ca/synopsys/syn_tut/dc/source/Johnson_count.v } \
    { current_design Johnson_count } } 

#---- Recording stopped at Mon Aug 13 10:57:22 2012

setup
